More targets

??=[arrows.targets] In the general arrow constructions ||, ||, ||, ||, and ||, the target address can be given in a large number of formats called "positions". The full range of possibilities is described in the reference manual [#!R94:XY-picRM!#]; here is a number of useful possibilities: Composite targets may be constructed: any complete target can be followed by where a "vector" should have the form These constructions are useful for pointing to corners of entries, ,
\begin{code}
\diagram
\left[\sum^i\right] & j \lto+UR
\enddiagram
\end{code}
will typeset

$\displaystyle \docode$


\begin{exercise}
What is the difference between a target $t$\ and the target $t$...
...ert?
\answertext{The size: $t$\vert+0\vert always has zero size.}
\end{exercise}

The position language of "v3" is much richer than this: there it is possible to build stacks of positions, typeset material in the middle of locating a position, etc.